A finite basis theorem for product varieties of groups
نویسندگان
چکیده
It is shown that, if IJ is a subvariety of the join of a nilpotent variety and a metabelian variety and if V̂ is a variety with a finite basis for its laws, then UV also has a finite basis for its laws. The special cases IJ nilpotent and IJ metabelian have been established by Higman (1959) and Ivanjuta (1969) respectively. The proof here, which is independent of Ivanjuta's, depends on a rather general sufficient condition for a product variety to have a finite basis for its laws.
منابع مشابه
Isomorphisms of Direct Products of Finite Cyclic Groups
In this article, we formalize that every finite cyclic group is isomorphic to a direct product of finite cyclic groups which orders are relative prime. This theorem is closely related to the Chinese Remainder theorem ([18]) and is a useful lemma to prove the basis theorem for finite abelian groups and the fundamental theorem of finite abelian groups. Moreover, we formalize some facts about the ...
متن کاملThe Wreath Product of Atoms of the Lattice of Semigroup Varieties
A semigroup variety is called a Cross variety if it is finitely based, is generated by a finite semigroup, and has a finite lattice of subvarieties. It is established in which cases the wreath product of two semigroup varieties each of which is an atom of the lattice of semigroup varieties is a Cross variety. Furthermore, for all the pairs of atoms U and V for which this is possible, either a f...
متن کاملA Harder-narasimhan Theory for Kisin Modules
We develop a Harder-Narasimhan theory for Kisin modules generalizing a similar theory for finite flat group schemes due to Fargues [Far10]. We prove the tensor product theorem, i.e., that the tensor product of semistable objects is again semi-stable. We then apply the tensor product theorem to the study of Kisin varieties for arbitrary connected reductive groups.
متن کاملExtending Baker’s theorem
We summarize the combinatorial properties of congruence generation in congruence distributive varieties which are relevant to Baker’s finite basis theorem, explain the extent to which these properties survive in congruence meet-semidistributive varieties, indicate our approach to extending Baker’s theorem to the latter varieties, and pose several problems which our approach does not answer.
متن کاملA new proof for the Banach-Zarecki theorem: A light on integrability and continuity
To demonstrate more visibly the close relation between thecontinuity and integrability, a new proof for the Banach-Zareckitheorem is presented on the basis of the Radon-Nikodym theoremwhich emphasizes on measure-type properties of the Lebesgueintegral. The Banach-Zarecki theorem says that a real-valuedfunction $F$ is absolutely continuous on a finite closed intervalif and only if it is continuo...
متن کامل